Andreas Weiermann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proof-theoretic investigations on Kruskal's theorem

Michael Rathjen, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.26 MB

english, 1993

2

Phase transitions for Gödel incompleteness

Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 893 KB

english, 2009

3

Asymptotic distribution of integers with certain prime factorizations

Vernaeve, Hans, Vindas, Jasson, Weiermann, Andreas

Journal:

Journal of Number Theory

Year:

2014

Language:

english

File:

PDF, 277 KB

english, 2014

4

A functorial property of the Aczel-Buchholz-Feferman function

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

1994

Language:

english

File:

PDF, 777 KB

english, 1994

5

Predicatively unprovable termination of the Ackermannian Goodstein process

Arai, Toshiyasu, FernÃ¡ndez-Duque, David, Wainer, Stanley, Weiermann, Andreas

Journal:

Proceedings of the American Mathematical Society

Year:

2020

File:

PDF, 286 KB

2020

6

Analyzing Gödel's T Via Expanded Head Reduction Trees

Arnold Beckmann, Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

2000

Language:

english

File:

PDF, 256 KB

english, 2000

7

Γ0 May Be Minimal Subrecursively Inaccessible

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

2001

Language:

english

File:

PDF, 172 KB

english, 2001

8

A simplified functorial construction of the veblen hierarchy

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 222 KB

english, 1993

9

An order-theoretic characterization of the Schütte-Veblen-Hierarchy

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 830 KB

english, 1993

10

A Uniform Approach to Fundamental Sequences and Hierarchies

Wilfried Buchholz, Adam Cichon, Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

1994

Language:

english

File:

PDF, 673 KB

english, 1994

11

Phase transition thresholds for some Friedman-style independence results

Andreas Weiermann

Journal:

Mathematical Logic Quarterly

Year:

2007

Language:

english

File:

PDF, 208 KB

english, 2007

12

Ordinal arithmetic with simultaneously defined theta-functions

Andreas Weiermann, Gunnar Wilken

Journal:

Mathematical Logic Quarterly

Year:

2011

Language:

english

File:

PDF, 187 KB

english, 2011

13

Complexity Bounds for Some Finite Forms of Kruskal's Theorem

Andreas Weiermann

Journal:

Journal of Symbolic Computation

Year:

1994

File:

PDF, 715 KB

1994

14

Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths

Andreas Weiermann

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 324 KB

english, 1995

15

Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results

Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 391 KB

english, 2005

16

Classifying the phase transition threshold for Ackermannian functions

Eran Omri, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2009

Language:

english

File:

PDF, 459 KB

english, 2009

17

More on lower bounds for partitioning -large sets

Henryk Kotlarski, Bożena Piekart, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 348 KB

english, 2007

18

Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers

Menachem Kojman, Gyesik Lee, Eran Omri, Andreas Weiermann

Journal:

Journal of Combinatorial Theory, Series A

Year:

2008

Language:

english

File:

PDF, 219 KB

english, 2008

19

Sharp thresholds for hypergraph regressive Ramsey numbers

Lorenzo Carlucci, Gyesik Lee, Andreas Weiermann

Journal:

Journal of Combinatorial Theory, Series A

Year:

2011

Language:

english

File:

PDF, 336 KB

english, 2011

20

Sometimes slow growing is fast growing

Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

1997

Language:

english

File:

PDF, 480 KB

english, 1997

21

Vereinfachte Kollabierungsfunktionen und ihre Anwendungen

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1991

Language:

german

File:

PDF, 475 KB

german, 1991

22

Phase transitions of iterated Higman-style well-partial-orderings

Lev Gordeev, Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

2012

Language:

english

File:

PDF, 422 KB

english, 2012

23

A term rewriting characterization of the polytime functions and related complexity classes

Arnold Beckmann, Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1996

Language:

english

File:

PDF, 233 KB

english, 1996

24

Bounding derivation lengths with functions from the slow growing hierarchy

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1998

Language:

english

File:

PDF, 218 KB

english, 1998

25

A proof of strongly uniform termination for Gödel's(T)by methods from local predicativity

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1997

Language:

english

File:

PDF, 199 KB

english, 1997

26

Characterizing the elementary recursive functions by a fragment of Gödel's T

Arnold Beckmann, Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

2000

Language:

english

File:

PDF, 157 KB

english, 2000

27

A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) its Subsystems

Benjamin Blankertz, Andreas Weiermann

Journal:

Year:

1999

File:

PDF, 763 KB

1999

28

Slow Versus Fast Growing

Andreas Weiermann

Journal:

Year:

2002

Language:

english

File:

PDF, 125 KB

english, 2002

29

Streamlined subrecursive degree theory

Lars Kristiansen, Jan-Christoph Schlage-Puchta, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 342 KB

english, 2012

30

Goodstein sequences for prominent ordinals up to the Bachmann–Howard ordinal

Michiel De Smet, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 251 KB

english, 2012

31

Slow consistency

Sy-David Friedman, Michael Rathjen, Andreas Weiermann

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 259 KB

english, 2013

32

Investigations on slow versus fast growing: How to majorize slow growing functions nontrivially by fast growing ones

Andreas Weiermann

Journal:

Archive for Mathematical Logic

Year:

1995

Language:

english

File:

PDF, 360 KB

english, 1995

33

Goodstein sequences for prominent ordinals up to the ordinal of

Weiermann, Andreas, Wilken, Gunnar

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 300 KB

english, 2013

34

Some Interesting Connections between the Slow Growing Hierarchy and the Ackermann Function

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 398 KB

english, 2001

35

An Application of Graphical Enumeration to PA

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 388 KB

english, 2003

36

An extremely sharp phase transition threshold for the slow growing hierarchy

WEIERMANN, ANDREAS

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 356 KB

english, 2006

37

Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 521 KB

english, 1993

38

Well-partial-orderings and the big Veblen number

Van der Meeren, Jeroen, Rathjen, Michael, Weiermann, Andreas

Journal:

Archive for Mathematical Logic

Year:

2015

Language:

english

File:

PDF, 405 KB

english, 2015

39

An application of graphical enumeration to PA

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 768 KB

english, 2003

40

How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

1998

Language:

english

File:

PDF, 1.46 MB

english, 1998

41

Phasenübergänge in Logik und Kombinatorik

Weiermann, Andreas

Journal:

Mitteilungen der Deutschen Mathematiker-Vereinigung

Year:

2005

Language:

german

File:

PDF, 189 KB

german, 2005

42

Consistency Proof via Pointwise Inductionby Toshiyasu Arai

Review by: Andreas Weiermann

Journal:

Bulletin of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 357 KB

english, 2002

43

How to Characterize Provably Total Functions by Local Predicativity

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 416 KB

english, 1996

44

A Uniform Approach for Characterizing the Provably Total Number-Theoretic Functions of KPM and (Some of) Its Subsystems

Benjamin Blankertz and Andreas Weiermann

Journal:

Year:

1999

Language:

english

File:

PDF, 2.38 MB

english, 1999

45

Foundations of the Formal Sciences I || Slow versus Fast Growing

Andreas Weiermann

Journal:

Year:

2002

Language:

english

File:

PDF, 1.69 MB

english, 2002

46

Classifying the Provably Total Functions of PA

Andreas Weiermann

Journal:

Bulletin of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 1.39 MB

english, 2006

47

A Classification of Rapidly Growing Ramsey Functions

Andreas Weiermann

Journal:

Proceedings of the American Mathematical Society

Year:

2004

Language:

english

File:

PDF, 773 KB

english, 2004

48

An order-theoretic characterization of the Howard–Bachmann-hierarchy

Van der Meeren, Jeroen, Rathjen, Michael, Weiermann, Andreas

Journal:

Archive for Mathematical Logic

Year:

2017

Language:

english

File:

PDF, 733 KB

english, 2017

49

The strength of infinitary Ramseyan principles can be accessed by their densities

Bovykin, Andrey, Weiermann, Andreas

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 654 KB

english, 2017

50

An application of graphical enumeration to PA *

Weiermann, Andreas

Journal:

Journal of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003